Predicting Ten Thousand Bits from Ten Thousand Inputs W. B. Langdon Department of Computer Science, University of Essex, UK 10 August 2006 Technical Report CSM-457 ISSN

Source URL: cswww.essex.ac.uk

• Mathematical optimization
• Evolutionary algorithms
• Procedural programming languages
• Genetic programming
• Operations research
• Lookup table
• Tap dance
• C
• Algorithm
• Computing
• Computer programming
• Software engineering

Loop-Extended Symbolic Execution on Binary Programs Prateek Saxena Pongsin Poosankam† Stephen McCamant Dawn Song University of California, Berkeley and † Carnegie Mellon University

Source URL: www.andrew.cmu.edu

• Computer programming
• Symbolic execution
• Concolic testing
• Buffer overflow
• Algorithm
• Infinite loop
• Function
• Stack
• Dependence analysis
• Software bugs
• Software engineering
• Computing

Department of Electrical and Computer Systems Engineering Technical Report MECSE

Source URL: www.eganfamily.id.au

• Electronic engineering
• Reconfigurable computing
• Dynamic programming
• Field-programmable gate array
• Smith–Waterman algorithm
• TimeLogic
• BLAST
• Impulse C
• Parallel computing
• Bioinformatics
• Computational phylogenetics
• Science

VIIRS Sea Ice Concentration IP Release, Beta Data Quality Last Updated: Read-me for Data Users The Joint Polar Satellite System (JPSS) Algorithm Engineering Review Board approved the release of the VIIRS Sea I

Source URL: www.class.ncdc.noaa.gov

• National Oceanic and Atmospheric Administration
• Glaciology
• Climate
• Sea ice concentration
• Atmospheric sciences
• Planetary science
• Earth
• Sea ice
• Joint Polar Satellite System

A Tableau-based Federated Reasoning Algorithm for Modular Ontologies∗ Jie Bao1 , Doina Caragea2 , Vasant Honavar1 Artificial Intelligence Research Laboratory, Department of Computer Science, Iowa State University, Ames

Source URL: www.cs.iastate.edu

• Semantic Web
• Knowledge engineering
• Knowledge representation
• Information science
• Abox
• Semantic reasoner
• Tbox
• Description logic
• Ontology
• Information
• Science

Temporal-based non-linear hearing aid prescription using a genetic algorithm Andrew T. Sabin, Holly Wiles, and Pamela Souza Northwestern University, Department of Communication Sciences and Disorders Amplitude

Source URL: hearinghealthmatters.org

• Dynamic range compression
• Audiogram
• Dynamic range
• Hearing impairment
• Electronics
• Sound
• Audio engineering
• Signal processing
• Waves

CrIS SDR Release, Validated Data Quality Recommended Cautions for Data Users The JPSS Algorithm Engineering Review Board has released the CrIS Sensor Data Record product to the public with the data quality attribute of V

Source URL: www.class.ngdc.noaa.gov

VIIRS Sea Ice Concentration IP Release, Beta Data Quality Last Updated: [removed]Read-me for Data Users The Joint Polar Satellite System (JPSS) Algorithm Engineering Review Board approved the release of the VIIRS Sea I

Source URL: www.class.ngdc.noaa.gov

• National Oceanic and Atmospheric Administration
• Glaciology
• Climate
• Sea ice concentration
• Atmospheric sciences
• Planetary science
• Earth
• Sea ice
• Joint Polar Satellite System

VIIRS Snow Cover / Depth EDR, Provisional Data Quality Last Updated: [removed]Read-me for Data Users The Joint Polar Satellite System (JPSS) Algorithm Engineering Review Board approved the release of the VIIRS Snow Cov

Source URL: www.class.ngdc.noaa.gov

• Snow
• Hydrology
• Moderate-Resolution Imaging Spectroradiometer
• Cryosphere
• Joint Polar Satellite System
• Water vapor
• Cloud computing
• EVI
• Earth
• Water
• Thermodynamics

VIIRS-VI-EDR Release, Beta Data Quality Last Updated: [removed]Read-me for Data Users The Joint Polar Satellite System (JPSS) Algorithm Engineering Review Board approved the release of the Visible Infrared Imager Radio

Source URL: www.class.ngdc.noaa.gov

• Biology
• Remote sensing
• EVI
• Normalized Difference Vegetation Index
• Ecology
• Moderate-Resolution Imaging Spectroradiometer
• Joint Polar Satellite System
• Advanced Very High Resolution Radiometer
• Biomass
• National Oceanic and Atmospheric Administration
• Earth
• Spacecraft